//]]>
Unhighlight Highlight
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems by Lokuciejewski, Paul. Publication: . XVIII, 262 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Reference Manual. Language and Standard Libraries by Taft, S. Tucker. Publication: . XXVIII, 921 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Parallel Processing Technologies by Wu, Chenggang. Publication: . XII, 410 p. 187 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Sagonas, Kostis. Publication: . XIV, 261 p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by McMillan, Ken. Publication: . XIV, 794 p. 178 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Rationale by Barnes, John. Publication: . XI, 213 p. 3 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Yenigün, Hüsnü. Publication: . XIV, 291 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hinze, Ralf. Publication: . X, 241 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Constraint Solving and Language Processing by Duchier, Denys. Publication: . XII, 179 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Driven Engineering Languages and Systems by Moreira, Ana. Publication: . XXVIII, 792 p. 299 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Bois, André Rauber. Publication: . XVI, 151 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Hierons, Robert M. Publication: . XVIII, 321 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2013 Parallel Processing by Wolf, Felix. Publication: . XXVIII, 890 p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Lourenço, João M. Publication: . X, 111 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Ruhe, Günther. Publication: . XVI, 326 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Biere, Armin. Publication: . XII, 281 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية